Modeling and visualizing object-oriented programs with Codecharts

Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical concerns for rigor and minimality with the practical concerns for abstraction, scalability and automated verifiability. The language of Codecharts w...

متن کامل

Modeling and visualizing object - oriented programs with Codecharts A .

Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical concerns for rigor and minimality with the practical concerns for abstraction, scalability and automated verifiability. The language of Codecharts w...

متن کامل

Modeling Object Oriented Constraint Programs in

Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of...

متن کامل

Modeling Object Oriented Constraint Programs in Z

Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of...

متن کامل

Object Oriented Modeling and Connguration of Simulation Programs

This paper deals with the question of reusability in simulation modeling of large scale systems. It discusses diierent approaches known from software engineering , in particular object oriented techniques and domain modeling, to enhance software reusability. Based on these ideas and on systems theory based simulation modeling, an environment is presented which supports modeling of application d...

متن کامل

Modeling and visualizing object-oriented programs with Codecharts

نویسندگان

چکیده

منابع مشابه